quot_1_summary 12,41
Support lemmas for quotient type.

origin